Foundations of mathematics - PDFSEARCH.IO - Document Search Engine

Foundations of mathematics
Results: 359

#	Item
91	15-151: Mathematical Foundations for Computer Science Strong Induction Workshop Friday, September 27 Notation Reminder Add to Reading List Source URL: www.countablethoughts.com Language: English - Date: 2014-12-15 20:39:32 Knowledge Mathematical induction Mathematical proof Inductive reasoning Prime number Recursive definition Fundamental theorem of arithmetic Mathematics Mathematical logic Logic
92	Foundations of Mathematics and Pre-Calculus 10 Sample Questions for Measurement Instructions Add to Reading List Source URL: wuhan.mapleleaf.cn Language: English - Date: 2014-05-30 02:55:00 Pi Mathematics Brassiere measurement Diagram Calculus Area Volume
93	PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior Sergiy Bogomolov Daniele Magazzeni Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2015-04-07 08:31:54 Hybrid automaton Continuous function Complete Heyting algebra Abstraction Automata theory Mathematics Mathematical analysis
94	CALL FOR PAPERS FOGA X Foundations of Genetic Algorithms Orlando, Florida USA, 9–11 January 2009 Foundations of Genetic Add to Reading List Source URL: www.sigevo.org Language: English - Date: 2013-10-03 18:16:23 Mathematics Evolutionary computation Genetic algorithm Algorithm Science Theoretical computer science Applied mathematics Mathematical optimization
95	HANDLING ALGEBRAIC EFFECTS GORDON D. PLOTKIN AND MATIJA PRETNAR Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland e-mail address: Faculty of Mathema Add to Reading List Source URL: matija.pretnar.info Language: English - Date: 2014-10-06 03:14:23 Logic in computer science Algebraic geometry Field theory Valuation Monad Denotational semantics Exception handling Symbol Sheaf Abstract algebra Mathematics Software engineering
96	Deliverable D3.4 Project acronym Project full title Foundations of (non-)geometric similarities Add to Reading List Source URL: simbad-fp7.eu Language: English - Date: 2010-04-30 03:51:32 Metric geometry Euclidean geometry Euclidean space Linear algebra Non-Euclidean geometry Euclidean distance Geometry Mathematics Space
97	References for the “Algorithmic High Dimensional Geometry” lectures at the Big Data Boot Camp, Simons Institute, Berkeley Alexandr Andoni Microsoft Research SVC September 4, 2013 Add to Reading List Source URL: www.mit.edu Language: English - Date: 2013-09-12 03:13:30 Year of birth missing Discrete geometry Symposium on Foundations of Computer Science Symposium on Theory of Computing Piotr Indyk Machine learning Kenneth L. Clarkson Computational geometry Streaming algorithm Mathematics Geometry Theoretical computer science
98	A Tutorial on Proof Theoretic Foundations of Logic Programming Add to Reading List Source URL: www.ki.inf.tu-dresden.de Language: English - Date: 2005-09-20 10:33:36 Proof theory Propositional calculus Non-classical logic Deduction Automated theorem proving Sequent calculus Natural deduction Admissible rule Intuitionistic logic Logic Mathematical logic Mathematics
99	Information Theory and Coding Computer Science Tripos Part II, Michaelmas Term 11 Lectures by J G Daugman 1. Foundations: Probability, Uncertainty, and Information 2. Entropies Defined, and Why they are Measures of Infor Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-10-20 07:18:56 Mathematical analysis Statistical theory Digital signal processing Fourier analysis Unitary operators Entropy Principle of maximum entropy Mutual information Noisy-channel coding theorem Statistics Information theory Mathematics
100	Introduction Sometimes it happens in mathematics that, investigating some branch, some area of mathematical objects, we are forced to introduce new kind of objects which were not originally presumed to exist. There is a Add to Reading List Source URL: www.ipm.ac.ir Language: English - Date: 2011-09-28 00:49:59 Logic Model theory Infinity Real closed field Ultraproduct Zermelo–Fraenkel set theory Internal set theory Set theory Foundations of mathematics Mathematics Non-standard analysis Mathematical logic

UPDATE